﻿using System;
using System.Collections.Generic;
using System.Linq;
using System.Text;
using Epsilon.Expr;
using Epsilon.Typing;

namespace Epsilon
{
    public class Process
    {
        public RecordStore Records { get; private set; }
        public List<FunctionExpr> Functions { get; private set; }
        public Dictionary<string, TypeLabel> Specs { get; private set; }
        public List<AttributeExpr> Attributes { get; private set; }
        public string Name { get; set; }
        public string Filename { get; private set; }
        public RxStore RxStore { get; set; }

        public Process(string filename)
        {
            Filename = filename;
            Records = new RecordStore();
            Functions = new List<FunctionExpr>();
            Specs = new Dictionary<string, TypeLabel>();
            Attributes = new List<AttributeExpr>();
        }
    }
}
